Skip to main content

Brouwer's fixed-point theorem in real-cohesive homotopy type theory

Item Preview

SIMILAR ITEMS (based on metadata)